function HelloTS(content) {
    console.log(content);
}
HelloTS("你好TS");
